A Case for Goal-oriented Programming Semantics
نویسندگان
چکیده
Contemporary pervasive computing environments demand mechanism for coherently addressing high-level user needs despite changing availability of resources. We propose the formalization of goals as the semantic basis for this mechanism, and sketch a system architecture that separates policy-rich goals-level planning code from a policy-neutral component assembly model.
منابع مشابه
Declarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey
One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...
متن کاملAn enhanced reliability-oriented workforce planning model for process industry using combined fuzzy goal programming and differential evolution approach
This paper draws on the “human reliability” concept as a structure for gaining insight into the maintenance workforce assessment in a process industry. Human reliability hinges on developing the reliability of humans to a threshold that guides the maintenance workforce to execute accurate decisions within the limits of resources and time allocations. This concept offers a worthwhile point of de...
متن کاملUsing Visitor Patterns in Object-Oriented Action Semantics
Object-Oriented Action Semantics is a semantic framework for the definition of programming languages. The framework incorporates some object-oriented concepts to the Action Semantics formalism. Its main goal is to obtain more readable and reusable semantic specifications. ObjectOriented Action Semantics provides support for the definition of syntax-independent specifications, due to the way its...
متن کاملMaude Object-Oriented Action Tool
Object-Oriented Action Semantics (OOAS) incorporates object-oriented concepts to the Action Semantics formalism. Its main goal is to obtain more readable and reusable semantics specifications. Moreover, it supports syntax-independent specifications, due to the way classes are written. Maude Object-Oriented Action Tool (MOOAT) is an executable environment for Object-Oriented Action Semantics imp...
متن کاملGoal Programming for Optimal Allocation of Hospital Beds (Case Study: Emergency Department of Shahid Madani Hospital in Tabriz)
In today’s competitive markets, customer satisfaction is the main goal for all managers, and at a hospital what the most adapted bed allocation policy is, a research subject is for many researchers to gain more customer satisfaction. Researchers have presented a variety of methods on allocating beds to the patients, based on their type of customers and problems. In this paper, goal programming ...
متن کاملUsing Object-z to Specify Object-oriented Programming Languages Using Object-z to Specify Object-oriented Programming Languages
In this paper, we present a case study for using formal object-oriented speciication languages, such as Object-Z, to specify the semantics of object-oriented programming languages. The key idea in this case study is to model language constructs, such as expressions, statements, methods and classes, as objects and to specify the semantics of each language construct using an Object-Z class. This ...
متن کامل